Model-based Diagnosis of Controllers for Data Risk Overflow
نویسندگان
چکیده
An important characteristic of data transmission systems (DTS’s) is modularity. Since high transfer lines are widely used and constitute an important subclass of DTS’s , in this paper we focus on formal analysis of logic controllers for high volume transfer lines. We propose a systematic approach to model and to verify the space size of the logic controllers using Petri nets. We consider that Petri net models of DTS’s can be decomposed in a few typical modules and the analysis of the entire system is made following a bottom-up algorithm. We have chosen to model the logic controllers with Petri nets, in order to take advantage of well developed theories for analysis and verification. Key-Words: Petri nets, modular controllers, bottom-up algorithm, data transmission systems.
منابع مشابه
Information Overflow: A Systematic Review of the Studies in Iran and the World
Background and purpose: The current study is a systematic review about information overflow, that was conducted with the aim of identifying the status of researches conducted in this field, determining research gaps and the components and sub-components of interests, research methodology, and challenges and solutions related to the information overflow of studies. Materials and methods: A sys...
متن کاملSimulation and prediction of scour whole dimensions downstream of siphon overflow using support vector machine and Gene expression programming algorithms
Background and Objectives: The purpose of this study is to simulate and predict the dimensions of the scour cavity downstream of the siphon overflow using the SVM model and compare it with other numerical methods. The use of the SVM algorithm as a meta-heuristic system in simulating complex processes in which the dependent variable is a function of several independent variables has been widely ...
متن کاملA Fuzzy Expert System & Neuro-Fuzzy System Using Soft Computing For Gestational Diabetes Mellitus Diagnosis
Gestational diabetes mellitus (GDM) is a kind of diabetes that requires persistent medical care in patient self management education to prevent acute complications. One of the common and main problems in diagnosis of the diabetes is the weakness in its initial stages of the illness. This paper intends to propose an expert system in order to diagnose the risk of GDM by using FIS model. The knowl...
متن کاملA Fuzzy Expert System & Neuro-Fuzzy System Using Soft Computing For Gestational Diabetes Mellitus Diagnosis
Gestational diabetes mellitus (GDM) is a kind of diabetes that requires persistent medical care in patient self management education to prevent acute complications. One of the common and main problems in diagnosis of the diabetes is the weakness in its initial stages of the illness. This paper intends to propose an expert system in order to diagnose the risk of GDM by using FIS model. The knowl...
متن کامل